Ternary Boolean algebra

Ternary Boolean Algebra

Ternary Virasoro - Witt Algebra

A 3-bracket variant of the Virasoro-Witt algebra is constructed through the use of su(1,1) enveloping algebra techniques. The Leibniz rules for 3-brackets acting on other 3-brackets in the algebra are discussed and verified in various situations. [email protected], [email protected], [email protected]

Boolean and ternary complementary pairs

A ternary complementary pair, TCPðn;wÞ; is a pair of ð0;71Þ-sequences of length n with zero autocorrelation and weight w: These are of theoretical interest in combinatorics as well as of practical consequence in coding, transmitting and processing various kinds of signals. When one attempts to construct a TCP of given length and weight, the first thing to decide is where to place the zeros, if ...

Boolean Algebra Approximations

Knight and Stob proved that every low4 Boolean algebra is 0-isomorphic to a computable one. Furthermore, for n = 1, 2, 3, 4, every lown Boolean algebra is 0-isomorphic to a computable one. We show that this is not true for n = 5: there is a low5 Boolean algebra that is not 0-isomorphic to any computable Boolean algebra. It is worth remarking that, because of the machinery developed, the proof u...

Free Boolean Algebra

This theory defines a type constructor representing the free Boolean algebra over a set of generators. Values of type (α)formula represent propositional formulas with uninterpreted variables from type α, ordered by implication. In addition to all the standard Boolean algebra operations, the library also provides a function for building homomorphisms to any other Boolean algebra type. 1 Free Boo...